航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

实时嵌入式系统MIPS R3000和Intel 80960处理器的适用性评估

MIPSR30 0 0和Intel 80 96 0是实时嵌入式系统的两种候选处理器。本文描述了MIPSR30 0 0和Intel 80 96 0的结构特征。通过对流水线互锁、上下文转换、进程间通讯、同步及多进程支持、过程调用、容错和例外处理、中断处理、超越 /特殊功能、数据类型和调试支持等的分析 ,做出了两种结构的适用性评估     

管制扇区的最优划分方法研究

在研究管制员工作负荷的统计方法和描述空域拓扑结构的数学模型的基础上，利用基于自然法则的模拟退火随机优化算法对扇区最优化问题进行求解。并通过对厦门管制区的扇区最优划分实例分析，验证了扇区优化数学理论正确性和使用该算法达到的预期效果。     

VxWorks嵌入式实时操作系统在某导弹火控系统中的应用

为提高某导弹武器系统火控系统的实时性和可靠性,将VxWorks嵌入式实时操作系统用于火控系统的软件设计中。根据不同任务间的关系,给出了主作业流程,以及内外网数据的接收与发送、软件运行时序、校时处理、录取报文、数据库设计等主要处理部分。阐明了该VxWorks实时操作系统的设计特点。导弹武器系统试验结果表明,该火控系统软件运行稳定可靠,控制状态转换清晰可控。     

嵌金属丝端燃药柱固体发动机水下点火数值模拟研究

为探讨降低固体火箭发动机水下点火初期推力峰值的方法,通过对燃气采用常微分控制方程、对嵌金属丝采用一维传热方程、对端燃药柱采用二维轴对称传热方程、对燃气泡采用球形气泡模型,就嵌金属丝端燃药柱发动机水下点火的工作过程进行了数值模拟研究。算例结果显示,发动机水下点火初期的推力峰值小于稳定工作推力,初始燃面积对推力峰值影响较大,发动机达到稳定工作推力所需时间随药柱直径的减小而迅速减小,发射深度的变化对推力达到稳定状态所需时间影响很小。     

嵌入式GIS中电子地图数据模型和查询优化问题的研究

对基于掌上电脑的嵌入式电子地图系统中查询优化问题进行研究,构造基于掌上电脑平台环境下多尺度数字地图的数据模型,建立一种适用于嵌入式GIS系统的四叉树空间索引,以提高空间查询的效率;提出了一种优化嵌入式GIS系统中的数据访问方法.系统应用结果表明:改进的四叉树可提高空间查询的效率,数据优化方法可加快电子地图显示和查询的速度.     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

嵌入式网关技术在门禁控制系统中的应用

随着计算机网络技术的发展和普及，目前出现了以单片机技术和以太网技术为核心的嵌入式网关技术，采用嵌入网关技术，可在局域网环境下采用TCP/IP协议实现门禁控制控制器同后台服务器的数据交换。其优点是技术先进、数据传输速度高、工程成本低、可靠性和安全性高。在论述了嵌入式网关工作原理的基础上，重点讨论了嵌入式网关中的门禁控制器的应用问题。     

分布式信任模型在嵌入式Internet中的应用研究

为了充分利用嵌入式设备的联合处理能力,嵌入式设备之间必须进行一系列的合作.信任是人们进行社会交往的基础,人们之间的信任关系在不断地更新和传递.依据这种原理,提出了一种基于社会信任关系的协同工作分布式网络模型.嵌入式Internet系统中的设备在协作过程中,互相之间逐步形成了一种相互信任的关系,这种关系以信任表的形式存在本地端点中,并通过不断地自学习来修改信任表.给出了信任模型的建立过程以及信任参数的更新和传递算法,应用实例表明了模型的有效性.     

面向eCos的嵌入式软件集成开发环境设计

eCos嵌入式可配置操作系统结构清晰,具有良好的可移植性,得到了广泛应用.在介绍eCos操作系统的基础上,分析了eCos现有的开发环境特点及形成一个集成开发环境的需求,然后给出了集成开发环境新增模块的设计方案.